$\forall$$p$:FinProbSpace, $n$:$\mathbb{N}$, $X$, $Y$:RandomVariable($p$;$n$). rv{-}disjoint($p$;$n$;$X$;$Y$) $\in$ $\mathbb{P}$